Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
881	Using Finite State Technology in Natural Language Processing of Basque Iñaki Alegria, Maxux Aranzabe, Nerea Ezeiza, Aitzol Ezeiza, and Ruben Urizar Ixa taldea, University of the Basque Country, Spain [removed] Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-01-27 09:29:09 Automata theory Models of computation Inflection Transducer Agglutination Lexicon Morpheme Finite-state machine Morphology Linguistics Linguistic morphology Grammar
882	COMPUTER SCIENCE TRIPOS Part IA – 2014 – Paper 2 10 Discrete Mathematics (AMP) (a) For each symbol x in the alphabet Σ = {a, b, c}, let Ox be the language over Σ consisting of all strings that contain an odd number Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-09 10:18:43 Models of computation Combinatorics Computer science Combinatorics on words Deterministic finite automaton Nondeterministic finite automaton Regular language String Regular expression Automata theory Formal languages Theoretical computer science
883	Enforceable Security Policies FRED B. SCHNEIDER Cornell University A precise characterization is given for the class of security policies enforceable with mechanisms that work by monitoring system execution, and automata Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2001-11-26 17:13:32 Formal methods Security Büchi automaton Computer security State Security policy Kernel Finite-state machine Models of computation Automata theory Theoretical computer science
884	Machine Translation with Inferred Stochastic Finite-State Transducers Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-03-31 07:03:40 Finite state transducer Finite-state machine Speech recognition Computer science Computing Applied mathematics Automata theory Models of computation Formal languages
885	P systems and unique-sum sets Pierluigi Frisco School of Math. and Comp. Sciences, Heriot-Watt University, EH14 4AS Edinburgh, UK, [removed] Add to Reading List Source URL: cmc11.uni-jena.de Language: English - Date: 2010-09-02 10:49:18 Computer science Theoretical computer science Multiset Random access machine Petri net Turing machine Models of computation Mathematics Theory of computation
886	APPROXIMATE MATCHING OF REGULAR EXPRESSIONS EUGENE W. MYERS† Department of Computer Science University of Arizona Tucson, AZ 85721 Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-03-21 10:39:03 Models of computation Mathematics Symbol Nondeterministic finite automaton Formal languages Cycle rank Ε-quadratic form Graph theory Theoretical computer science Automata theory
887	Weighted Finite-State Transducer Algorithms An Overview Mehryar Mohri AT&T Labs – Research Shannon Laboratory 180 Park Avenue, Florham Park, NJ 07932, USA Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-03-24 09:41:32 Finite state transducer Applied mathematics Mathematics Semiring Finite-state machine Computing Büchi automaton Automata theory Models of computation Formal languages
888	Programming Languages T.A. Standish Editor Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-03-21 10:29:32 Dynamic programming Models of computation Automata theory Operations research Optimal control Finite-state machine Levenshtein distance Viterbi algorithm Mathematics Theoretical computer science Applied mathematics
889	1 On the Use of Q2 Abstractions to Lower the Computational Cost of Derivation of Conflict Resolution Advisories in Air Traffic Control Mei Li and and Mieczyslaw M. Kokar, Senior Member, IEEE Add to Reading List Source URL: www.ece.neu.edu Language: English - Date: 2012-02-23 16:34:44 Applied mathematics Mealy machine Dynamical system State space Moore machine Finite-state machine Computational complexity theory Combinatory logic Function Models of computation Mathematics Theoretical computer science
890	Faster possibility detection by combining two approaches Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-12 23:52:14 Formal methods Computability theory Models of computation Analysis of algorithms Algorithm Lambda calculus Big O notation Vertex cover Centimetre–gram–second system of units Mathematics Theoretical computer science Applied mathematics

UPDATE